搜索包含 Symposium on Foundations of Computer Science (26th : 1985) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (26th : 1985) 的图书(共7795本)

	FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings 0 索取号：TP311.52-532/E20021/2001 作者：Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、出版社：Berlin ; New York : Springer, c2001.		Study English for science 0 索取号：H319.4/E90158 作者：Bolitho、 Rod.、Sandler、 P. L.、出版社：London : Longman, 1980.
	Science fiction : an introduction 0 索取号：H319.4/E80114 作者：Allen、 L. David.、Roberts、 James Lamar、 1929-、出版社：Lincoln, Neb. : Cliffs Notes, 1973.		Core English for general science : students' book 0 索取号：H319/E9074 作者：Stares、 Martin.、出版社：London : Heinemann Educational Books, 1980.
	Lasers and applications : proceedings of the Sergio Porto Memorial Symposium, Rio de Janeiro, Brasil, June 29-July 3, 1980 0 索取号：O43/E902 作者：Sergio Porto Memorial Symposium (1980 : Rio de Janeiro、 Brazil)、Guimaraes、 W. O. N. (Wladimir O. N.)、Lin、 C.-T. (Chhui-Tsu)、Mooradian、 Aram、 1937-、出版社：Berlin ; New York : Springer-Verlag, c1981.		Families and social needs : concepts in social science 0 索取号：H319-43/E7011 作者：King、 Frederick M.、Bracken、 Dorothy Kendall、 joint author.、Sloan、 Margaret A.、 joint author.、出版社：River Forest, Ill. : Laidlaw Bros., 1968.
	Communities and social needs : concepts in social science 0 索取号：H319-43/E7045 作者：King、 Frederick M.、Bracken、 Dorothy Kendall.、Sloan、 Margaret A.、Laidlaw Brothers.、出版社：River Forest, Ill., Laidlaw Bros. 1968.		The TABA program in social science : people in America 0 索取号：H319-43/E8035 作者：TABA Program in Social Science、McVicar、 K. G.、Hardy、 P.、出版社：California : Addison-Wesloy, 1973.
	Data, models, and decisions : the fundamentals of management science 0 索取号：C931.1/E20021 作者：Bertsimas、 Dimitris.、Freund、 Robert Michael.、出版社：Cincinnati, Ohio : South-Western College Pub., 2000.		Basic writing in English for science & technology : Answers. 0 索取号：H315/E90130 作者：Murphy、 M. J.、出版社：Singapore : Graham Brash Ltd., 1983.
	Basic writing in English for science & technology 0 索取号：H315/E90130-2 作者：Murphy、 M. J.、出版社：Singapore : Graham Brash Ltd., 1983.		Writing for engineering and science 0 索取号：H315/E709 作者：Hicks、 Tyler Gregory、 1921-、出版社：New York : McGraw-Hill, 1961.
	outlook:: science at work 0 索取号：H314.3/E8013 作者：Parry、 John.、出版社：England : Penguin Books, 1970.		Political psychology : cultural and crosscultural foundations 0 索取号：B84-05/E20021 作者：出版社：Basingstoke : Macmillan, 2000.
	Computer intrusion detection and networkmonitoring : a statistical viewpoint 0 索取号：TP309.2/E20021 作者：Marchette、 David J.、出版社：New York : Springer, c2001.		Proceedings 14th IEEE Computer Security Foundations Workshop : 11-13 June 2001, Cape Breton, Novia [Nova] Scotia, Canada 0 索取号：TP309-532/E20061/14 作者：Computer Security Foundations Workshop (14th : 2001 : Cape Breton、 N.S.)、IEEE Computer Society. Technical Committee on Security and Privacy.、出版社：Los Alamitos, California : IEEE Computer Society, c2001.

	FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings 0 索取号：TP311.52-532/E20021/2001 作者：Oliveira、J.N.、International Symposium of Formal Methods Europe (10th : 2001 : Berlin、 Germany)、Oliveira、 JosN.、Zave、 Pamela、 1948-、出版社：Berlin ; New York : Springer, c2001.		Study English for science 0 索取号：H319.4/E90158 作者：Bolitho、 Rod.、Sandler、 P. L.、出版社：London : Longman, 1980.
	Science fiction : an introduction 0 索取号：H319.4/E80114 作者：Allen、 L. David.、Roberts、 James Lamar、 1929-、出版社：Lincoln, Neb. : Cliffs Notes, 1973.		Core English for general science : students' book 0 索取号：H319/E9074 作者：Stares、 Martin.、出版社：London : Heinemann Educational Books, 1980.
	Lasers and applications : proceedings of the Sergio Porto Memorial Symposium, Rio de Janeiro, Brasil, June 29-July 3, 1980 0 索取号：O43/E902 作者：Sergio Porto Memorial Symposium (1980 : Rio de Janeiro、 Brazil)、Guimaraes、 W. O. N. (Wladimir O. N.)、Lin、 C.-T. (Chhui-Tsu)、Mooradian、 Aram、 1937-、出版社：Berlin ; New York : Springer-Verlag, c1981.		Families and social needs : concepts in social science 0 索取号：H319-43/E7011 作者：King、 Frederick M.、Bracken、 Dorothy Kendall、 joint author.、Sloan、 Margaret A.、 joint author.、出版社：River Forest, Ill. : Laidlaw Bros., 1968.
	Communities and social needs : concepts in social science 0 索取号：H319-43/E7045 作者：King、 Frederick M.、Bracken、 Dorothy Kendall.、Sloan、 Margaret A.、Laidlaw Brothers.、出版社：River Forest, Ill., Laidlaw Bros. 1968.		The TABA program in social science : people in America 0 索取号：H319-43/E8035 作者：TABA Program in Social Science、McVicar、 K. G.、Hardy、 P.、出版社：California : Addison-Wesloy, 1973.
	Data, models, and decisions : the fundamentals of management science 0 索取号：C931.1/E20021 作者：Bertsimas、 Dimitris.、Freund、 Robert Michael.、出版社：Cincinnati, Ohio : South-Western College Pub., 2000.		Basic writing in English for science & technology : Answers. 0 索取号：H315/E90130 作者：Murphy、 M. J.、出版社：Singapore : Graham Brash Ltd., 1983.
	Basic writing in English for science & technology 0 索取号：H315/E90130-2 作者：Murphy、 M. J.、出版社：Singapore : Graham Brash Ltd., 1983.		Writing for engineering and science 0 索取号：H315/E709 作者：Hicks、 Tyler Gregory、 1921-、出版社：New York : McGraw-Hill, 1961.
	outlook:: science at work 0 索取号：H314.3/E8013 作者：Parry、 John.、出版社：England : Penguin Books, 1970.		Political psychology : cultural and crosscultural foundations 0 索取号：B84-05/E20021 作者：出版社：Basingstoke : Macmillan, 2000.
	Computer intrusion detection and networkmonitoring : a statistical viewpoint 0 索取号：TP309.2/E20021 作者：Marchette、 David J.、出版社：New York : Springer, c2001.		Proceedings 14th IEEE Computer Security Foundations Workshop : 11-13 June 2001, Cape Breton, Novia [Nova] Scotia, Canada 0 索取号：TP309-532/E20061/14 作者：Computer Security Foundations Workshop (14th : 2001 : Cape Breton、 N.S.)、IEEE Computer Society. Technical Committee on Security and Privacy.、出版社：Los Alamitos, California : IEEE Computer Society, c2001.